The federal agency in the Department of Housing and Urban Development that insures residential mortgages